Beweistheoretische Kombinatorik

Projektleitung und Mitarbeiter

Gordeew, L. (Doz. Dr. rer. nat.)

Mittelgeber :

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Mit Hilfe der vom Autor gefundenen Verfeinerungen und Generalisierungen von J. Kruskal & H. Friedman'schen Sätzen wird beweistheoretische Stärke von bekannten Theorien durch rein kombinatorische Theoreme charakterisiert. Speziell liefert dieses Verfahren eine verbesserte algorithmische Darstellung der in Peano Arithmetik beweisbaren total rekursiven Funktionen.

Publikationen

Gordeev, L.: A modified sentence unprovable in PA. Journ. Symb. Logic 59, 1154 1157 (1994).

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise